The Pairing of Contracts and Session Types
نویسندگان
چکیده
We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contracts. The encoding of contracts accommodates complex synchronization patterns, since session types own a simple control protocol. The encodings allow one to use the two formalisms interchangeably, within the context of dyadic interactions.
منابع مشابه
بررسی تطبیقی شرایط عقود اسلامی و قراردادهای پشتیبانی بانکداری اسلامی (مورد مطالعه: بانک شهر)
Islam emphasizes all social issues, especially healthy economic relations. What has led to the need to examine and address the issues of contracts in Islam and the contracts of support in Islamic banking, is the existence of various contracts in the society. In this research, it is tried to examine the compatibility of the contracts of support in Islamic banking with the contractual and religio...
متن کاملDeveloping a framework for studying and evaluating the types of psychological contracts in the context of relationship marketing
Nowadays, belief in the criteria and conditions of interactions with an organization to promote customer relationships is somehow tied to the organizational performance, and its final goal is of great importance. In the literature on organizational behavior, this belief is defined as the “psychological contract”. The intention of this mixed research is to identify and discover the contents of p...
متن کاملUsing Higher-Order Contracts to Model Session Types (Extended Abstract)
Session types are used to describe and structure interactions between independent processes in distributed systems. Higher-order types are needed in order to properly structure delegation of responsibility between processes. In this paper we show that higher-order web-service contracts can be used to provide a fully-abstract model of recursive higher-order session types. The model is settheoret...
متن کاملUsing higher-order contracts to model session types
Session types are used to describe and structure interactions between independent processes in distributed systems. Higher-order types are needed in order to properly structure delegation of responsibility between processes. In this paper we show that higher-order web-service contracts can be used to provide a fully-abstract model of recursive higher-order session types. The model is set-theore...
متن کاملA note on two notions of compliance
We establish a relation between two models of contracts: binary session types, and a model based on event structures and game-theoretic notions. In particular, we show that compliance in session types corresponds to the existence of certain winning strategies in game-based contracts.
متن کامل